Implication details

Claim: If a category is an elementary topos and is self-dual, then it is an elementary cotopos.

Proof: This holds by self-duality.